Edsger W. Dijkstra

概述

Edsger Wybe Dijkstra（1930-2002），荷兰计算机科学家，对编程方法论、算法设计和计算机科学哲学做出根本性贡献。他因Go To Statement Considered Harmful论文推动结构化编程运动，发明了最短路径算法（Dijkstra算法）和信号量概念，并在1972年获得图灵奖。

关键内容

1. Go To Statement Considered Harmful：1968年发表的著名论文，论证goto语句破坏程序可理解性，主张仅使用顺序、选择、循环三种控制结构，引发结构化编程运动。

2. Dijkstra算法：1956年发明的单源最短路径算法，用于计算图中从单一节点到其他所有节点的最短路径，是图论和计算机科学的经典算法。

3. 信号量概念：提出信号量（semaphore）概念解决并发编程中的同步问题，对操作系统和并发编程产生深远影响。

4. ALGOL 60贡献：参与ALGOL 60语言设计并开发首个编译器，对程序设计语言发展有重要贡献。

5. 编程哲学：强调程序应设计为可被人类理解，主张程序正确性可通过理性推理验证，而非仅依赖测试。

来源

• 原始论文分析 — raw/books/计算机科学/06-dijkstra-goto-considered-harmful.md
• 通讯录 — 维基百科
• ACM资料 — 图灵奖官方档案

相关

• Go To Statement Considered Harmful — authored
• Dijkstra算法 — invented
• 结构化编程 — pioneered
• 信号量 — invented